Pointer-based model for state reduction in momentum space
نویسندگان
چکیده
منابع مشابه
Optimistic Synchronization-Based State-Space Reduction
Reductions that aggregate fine-grained transitions into coarser transitions can significantly reduce the cost of automated verification, by reducing the size of the state space. We propose a reduction that can exploit common synchronization disciplines, such as the use of mutual exclusion for accesses to shared data structures. Exploiting them using traditional reduction theorems requires check...
متن کاملState space reduction techniques for model checking of MANET protocols
A Mobile Ad hoc Network (MANET) is a network that consists of mobile nodes and is autonomously managed without infrastructure base stations such as access points. MANETs have started being used as part of safety critical applications. A Vehicular Ad hoc Network (VANET) used in automated driving systems is such an example. In such applications, defects in the network protocol may cause serious s...
متن کاملModel reduction for state - space symmetric systems 1
In this paper, the model reduction problem for state-space symmetric systems is investigated. First, it is shown that several model reduction methods, such as balanced truncation, balanced truncation which preserves the DC gain, optimal and suboptimal Hankel norm approximations, inherit the state-space symmetric property. Furthermore, for single input and single output (SISO) state-space symmet...
متن کاملState Space Reduction Strategie for Model Checking Concurrent C Programs
Model checking is an effective technique for uncovering subtle errors in concurrent systems. Unfortunately, the state space explosion is the main bottleneck in model checking tools. Here we propose a state space reduction technique for model checking concurrent programs written in C. The reduction technique consists in an analysis phase, which defines an approximate agglomeration predicate. Thi...
متن کاملState Space Reduction for Model Checking Agent Programs
State space reduction techniques have been developed to increase the efficiency of model checking in the context of imperative programming languages. Unfortunately, these techniques cannot straightforwardly be applied to agents: the nature of states in the two programming paradigms differs too much for this to be possible. To resolve this, we adapt core definitions on which existing reduction a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The European Physical Journal D
سال: 2019
ISSN: 1434-6060,1434-6079
DOI: 10.1140/epjd/e2019-100226-1